<?php

print "FOO";

?>
